Signal Relays
pzuraq.com·13h·
Discuss: Hacker News
✨Effect Handlers
Zero Context Exhaustion: Building Production-Ready AI Coding Teams with Claude Code Sub-agents
dev.to·5h·
Discuss: DEV
✨Effect Handlers
Dangerous things should be difficult to do by accident
fexpr.blogspot.com·1d
✨Effect Handlers
Speeding Up AI Coding Assistants Using Deterministic Feedback
proxymock.io·14h·
Discuss: Hacker News
📼Tape Combinators
Learning Through Doing: From one language to another
blog.scottlogic.com·1d
🦀Rust Borrowing
Emergent Crowds Dynamics from Language-Driven Multi-Agent Interactions
arxiv.org·1d
🔲Cellular Automata
DEF CON 33: Field Notes on AI Security, AI Red Teaming, and the Road Ahead
hackerone.com·1d
⚔️Lean Tactics
Cracking the Density Code: Why MAF Flows Where KDE Stalls
towardsdatascience.com·13h
🔗Tailscale
HigherOrderCO/HVM3
github.com·5h
🔗Functional Compilers
Building Castles in the Air, but With Surprise Physics
dbreunig.com·1d
⚙️Proof Engineering
WeakC4, or Distilling an Emergent Object
2swap.github.io·6h·
Discuss: Hacker News
🔲Cellular Automata
How to model the world? Introduction to Laplace Neuron
abibulic.github.io·3d·
Discuss: Hacker News, Hacker News
🔲Cellular Automata
Lobsters Interview with Matklad
lobste.rs·16h·
Discuss: Lobsters
🦀Rust Macros
Learning Decision Process Theory with a Wolfram Language Toolkit
blog.wolfram.com·11h
🔲Cellular Automata
Scheme Basics
courses.cs.washington.edu·18h·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
My tips for using LLM agents to create software
efitz-thoughts.blogspot.com·5h·
Discuss: Hacker News
⚡Proof Automation
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·2d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
the core of rust
jyn.dev·2d·
Discuss: Lobsters, Hacker News, r/rust
🦀Rust Macros
R-ConstraintBench: Evaluating LLMs on NP-Complete Scheduling
arxiv.org·1d
🧮SMT Solvers
AI in open source: fighting bias in AI analysis
rainer.gerhards.net·1d·
Discuss: Hacker News
🔍Concolic Testing